1. Formal Modeling and Analysis of Timed Systems
Author: \ Sriram Sankaranarayanan , Enrico Vicario (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Applications.,Computer simulation -- Congresses.,Temporal automata -- Congresses.,کاربرد رایانه ,کامپیوترها -- شبیهسازی -- کنگرهها
Classification :
.
F6
2015
E-Book
,
